Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
741	Design of Parallel and High Performance Computing HS 2014 Torsten Hoefler, Markus P¨ uschel Department of Computer Science ETH Zurich Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-10-30 05:58:05 Computing Abstract data types Concurrency control Concurrent computing Transaction processing Computer architecture Linearizability Concurrent programming languages Shared register Queue Sequential consistency XC
742	Programming Slick Network Functions Bilal Anwer Theophilus Benson Nick Feamster Add to Reading List Source URL: users.cs.duke.edu Language: English - Date: 2015-07-03 20:18:10 Computing Computer architecture Network architecture Emerging technologies Computer networking Configuration management Software-defined networking OpenFlow Packet processing Routing Forwarding plane Communications protocol
743	Modularization of ecological models Basic ideas of . . . ∗ Joachim Benz Add to Reading List Source URL: www.ecobas.org Language: English - Date: 2004-08-05 06:08:28 Computing Modularity BASIC Software engineering Computer programming XHTML HTML Markup languages
744	Programming Model and Synthesis for Low-power Spatial Architectures Add to Reading List Source URL: pl.eecs.berkeley.edu Language: English - Date: 2015-02-13 21:22:05 Software engineering Programming language theory Computer programming C++ Data types Concurrent programming languages C Procedural programming languages XC Const C++ classes Typedef
745	Developing the Location-Identity Split Using Scalable Modalities Ike Antkare International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:28 Actor model Concurrent computing Stan Computing Computer programming Software
746	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
747	CLASSIFICATION DESCRIPTION CLASSIFICATION TITLE: Senior Software Engineer Date: Department: Digital Theater Add to Reading List Source URL: www.es.com Language: English - Date: 2016-03-16 15:21:56 Computing DirectX Virtual reality Software development Software engineering Computer programming
748	Hints in unification Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, and Enrico Tassi Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {asperti,ricciott,sacer Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2012-02-14 06:55:32 Algebra Mathematics Abstract algebra Algebraic structures Semigroup theory Automated theorem proving Logic programming Category theory Unification Monoid Semigroup Substitution
749	Parallel Disk-Based Computation for Large, Monolithic Binary Decision Diagrams Daniel Kunkle∗ Vlad Slavici Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-07-26 07:30:31 Computing Diagrams Boolean algebra Mathematics Computer programming Binary decision diagram Model checking External sorting Computer cluster Depth-first search
750	SPRING 2016 HACKATHON Objective: Host a community sponsored event for UNF students to showcase their programming and development skills. Participants: UNF Students from the CECC Duration: 10-12 hours Add to Reading List Source URL: www.unf.edu Language: English - Date: 2016-04-08 08:08:47 Computing Hacker culture Computer architecture Hackathon Internet slang OpenBSD Raspberry Pi Technology

UPDATE